type best_type = i32

def main (x: i32) : best_type = x
